Relational calculus - PDFSEARCH.IO - Document Search Engine

Relational calculus
Results: 52

#	Item
21	1 A Tutorial on the IQL Query Language AutoMed Technical Report No. 28, Version 1.2 Alex Poulovassilis and Lucas Zamboulis, July Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-07-28 13:29:10 Lambda calculus Relational algebra Software engineering Computer science Computing Relational model List comprehension
22	www.computing.me.uk Fortran 77 : 4. Relational and Logic Operators Relational operators in logical statements are used control the flow of code. In this document we simply consider the coding and results of relational o Add to Reading List Source URL: www.computing.me.uk Language: English - Date: 2010-10-04 16:47:44 Logical connectives Boolean algebra Procedural programming languages Propositional calculus Semantics Relational operator Operator Fortran FALSE Computing Software engineering Computer programming
23	QuickFOIL: Scalable Inductive Logic Programming Qiang Zeng Jignesh M. Patel David Page Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:18 Propositional calculus Predicate logic Logic in computer science Logic programming Relational model Relational algebra Horn clause Literal Finitary relation Logic Mathematical logic Mathematics
24	Approximate Lifted Inference in Probabilistic Databases Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-12-17 10:08:35 Query optimizer Data Tuple relational calculus Data management Conjunctive query Database theory
25	William E. Byrd—Research Statement 1 Wishful Thinking, Lollipops, and Relational Programming When someone says “I want a programming language in which I need only say what I Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-04-12 16:50:44 Applied mathematics Logic in computer science Combinatory logic Fixed-point combinator Eval Symbol Prolog Futures and promises Theoretical computer science Computing Lambda calculus
26	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-10-22 13:47:39 Software engineering Computability theory Eval Scheme Env Combinatory logic Computing Lambda calculus Theoretical computer science
27	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:17:10 Lambda calculus Control flow Eval Scheme Env Constraint logic programming Combinatory logic LG enV Quasigroup Computing Mathematics Theoretical computer science
28	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder? Jasmin Christian Blanchette and Tobias Nipkow Institut für Informatik, Technische Universität München, Germany {blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Mathematics Structure Universal algebra Symbol Constructible universe First-order logic Lambda calculus Mathematical logic Logic Model theory
29	TBsafe® - Modified Condition / Decision Coverage (MC/DC) Software Technology Add to Reading List Source URL: www.ldra.com Language: English - Date: 2014-12-04 11:36:20 Computing LDRA Testbed Computer programming Propositional calculus Software metrics Logical disjunction Boolean data type Conditional Relational operator Software testing Boolean algebra Software engineering
30	Learning to Create Data-Integrating Queries Partha Pratim Talukdar Marie Jacob Muhammad Salman Mehmood ∗ Add to Reading List Source URL: www.vldb.org Language: English - Date: 2008-10-22 09:23:06 Data integration Query languages Conjunctive query Relational model SQL Information retrieval Google Search Query optimizer Tuple relational calculus Data management Data Information

UPDATE